Computer-assisted proof of performance ratios for the Differencing Method
نویسندگان
چکیده
منابع مشابه
Performance Ratios for the Karmarkar-Karp Differencing Method
We consider the multiprocessor scheduling problem in which one must schedule n independent tasks nonpreemptively on m identical, parallel machines, such that the completion time of the last task is minimal. For this well-studied problem the Largest Differencing Method due to Karmarkar and Karp outperforms other existing polynomial-time approximation algorithms from an averagecase perspective. F...
متن کاملthe impact of computer-assisted language learning on achievement motivation of high school students
چکیده انگیزه دلیل اصلی رفتارهای ما است. به نظر می رسد انگیزه جزء جدایی ناپذیر فرایند یادگیری باشد. ارزش ذاتی موفقیت تمایل به پیشرفت را در یادگیرنده ایجاد میکند. به عبارت ساده این تمایل انگیزه پیشرفت نامیده میشود. انگیزه پیشرفت را میتوان در احساس یادگیرنده هنگام چالش با درس های مدرسه، لذت انجام فعالیت درسی، یا حس کشف پاسخ مشاهده کرد.حتی ممکن است انگیزه پیشرفت را در تلاش یادگیرنده برای جلب تایید...
Performance Ratios for the Differencing Method Applied to the Balanced Number Partitioning Problem
We consider the problem of partitioning a set of n numbers into m subsets of cardinality k n m or n m , such that the maximum subset sum is minimal. We prove that the performance ratios of the Differencing Method of Karmarkar and Karp for k 3 4 5 and 6 are precisely 4/3, 19/12, 103/60, and 643/360, respectively, by means of a novel approach in which the ratios are explicitly calculated using mi...
متن کاملassessment of the park- ang damage index for performance levels of rc moment resisting frames
چکیده هدف اصلی از طراحی لرزه ای تامین ایمنی جانی در هنگام وقوع زلزله و تعمیر پذیر بودن سازه خسارت دیده، پس از وقوع زلزله است. تجربه زلزله های اخیر نشان داده است که ساختمان های طراحی شده با آیین نامه های مبتنی بر نیرو از نظر محدود نمودن خسارت وارده بر سازه دقت لازم را ندارند. این امر سبب پیدایش نسل جدید آیین نامه های مبتنی بر عملکرد شده است. در این آیین نامه ها بر اساس تغییرشکل های غیرارتجاعی ...
15 صفحه اولTowards Computer-Assisted Proof Tutoring
We present a recent application area of the proof assistant Ωmega, the teaching of mathematical proofs within an environment for tutorial dialog. We discuss the design of our dialog system prototype for proof tutoring in the light of the requirements imposed by its potential users. Empirical studies investigating those requirements guide the development of the system.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Discrete Optimization
سال: 2012
ISSN: 1572-5286
DOI: 10.1016/j.disopt.2011.10.001